Enum isotope::ast::Form [−][src]
pub enum Form { Null, Head, Beta, Eta, BetaEta, }
Expand description
A reduction form
Variants
No reductions: check only for equality
Head reductions only
Beta reductions
Eta reductions
Beta and eta reductions
Implementations
Trait Implementations
Auto Trait Implementations
impl RefUnwindSafe for Form
impl UnwindSafe for Form
Blanket Implementations
Mutably borrows from an owned value. Read more
Borrow an optional value of type T
Compare self to key
and return true
if they are equal.